More from this Author

Automated Reasoning

by David Basin (Editor), Michael Rusinowitch (Editor)

Principles of Security and Trust

by David Basin (Editor), John C. Mitchell (Editor)